More from this Author
Found 4 books by Alessandro Fantechi (Editor)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
by Alessandro Fantechi (Editor), Thierry Lecomte (Editor), Alexander Romanovsky (Editor)
From Software Engineering to Formal Methods and Tools, and Back
by Maurice H. ter Beek (Editor), Alessandro Fantechi (Editor), Laura Semini (Editor)
Formal Methods for Industrial Critical Systems
by Darren Cofer (Editor), Alessandro Fantechi (Editor)
Software Engineering for Resilient Systems
by Alessandro Fantechi (Editor), Patrizio Pelliccione (Editor)